CSPL: An Ada95-Like, Unix-Based Process Environment

نویسنده

  • Jason Jen-Yen Chen
چکیده

This paper presents a new process-centered environment called “concurrent software process language” (CSPL). CSPL takes a unique and innovative approach to integrate the object-oriented Ada95-like syntax (for its modeling power) with Unix shell semantics (for its enactment capability) in a software process language. This paper depicts the following new CSPL features: 1) object orientation, 2) multirole and multiuser, and 3) unified object modeling. Language constructs specially designed for software process such as work assignment statement, communication-related statements, role unit, tool unit, relation unit and so on, are, respectively, described. The related work of this diversified field is also surveyed in some depth. The CSPL environment prototype has been built. A CSPL process program for the IEEE Software Process Modeling Example Problem has been developed and enacted to demonstrate the capabilities of this environment.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Process program change control in a process environment

objects. Process evolution is accomplished by changing the methods of abstract objects. Method change is accomplished by invoking the method ‘changeself’. The OBM language can thus be considered a reflective language that facilitates process change. Tempo [41] models processes as types for instantiating. Process evolution is thus accomplished through late binding. Tempo uses a lazy change polic...

متن کامل

PCX: A Translation Tool from PROMELA/Spin to the C-Based Stochastic Petri Net Language

Stochastic Petri Nets (SPNs) are a graphical tool for the formal description of systems with the features of concurrency, synchronization, mutual exclusion and conflict. SPN models can be described with an input language called CSPL (C-based SPN language). Spin is a generic verification system that supports the design and verification of software systems. PROMELA (Protocol or Process Meta Langu...

متن کامل

A UNIX System Implementation for System/370*

This paper describes an implementation of the UNIX(TM) operating system for IBM System/370 computers. In this implementation an underlying Resident Supervisor, adapted from an existing IBM control program, provides machine control and multiprogramming; while a UNIX System Supervisor, adapted from the standard UNIX system kernel, provides the UNIX system environment. This implementation supports...

متن کامل

Sustainable management of Kiyan forest reserve-Iran: An analysis of hierarchal process

Management of natural ecosystems, like forests, has several objectives such as wood production, sustainability of ecological systems, preserving aestheti,c and cultural or psychological satisfaction. This management is especially essential in dry regions with sensitive biodiversity, like Iran. The aim of this research is to elaborate a management scheme for developing a sustainable tourism plan...

متن کامل

Implementation and Security of a Web-Based Unix Programming Environment

The implementation and security provisions of a web–based Unix environment for C, Java, and shell programming are presented. In contrast to a sandbox with limited functionality, the environment allows full access to the underlying system, and the user can execute arbitrary Unix commands. System security is provided in multiple layers involving the process environment, file system, network confi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • IEEE Trans. Software Eng.

دوره 23  شماره 

صفحات  -

تاریخ انتشار 1997